Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎯Constraint Programming
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
✅Formal Verification
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·3h
🧭SMT Solvers
Improved Algorithm for <em>d</em>-Minimal Cuts in Reliability Evaluation of Multi-state Flow Networks
sciencedirect.com·3h
🕸️Graph Theory
Is the Prob Method `Just Counting'- I say no and HELL NO
blog.computationalcomplexity.org·35m·
Discuss: blog.computationalcomplexity.org
🧭SMT Solvers
Automated Adaptive Learning Pathway Generation via Dynamic Knowledge Graph Optimization
dev.to·13h·
Discuss: DEV
🧩Theorem Proving
Issue 489
haskellweekly.news·9h·
Discuss: Hacker News
⚙Functional Programming
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·4h·
Discuss: Hacker News
🧮Programming Language Theory
Defeating Nondeterminism in LLM Inference
simonwillison.net·14h
🎲Probabilistic Programming
Quantum Algorithm Zoo
quantumalgorithmzoo.org·21h·
Discuss: Hacker News
🔐Cryptography
Using C++ STL functions instead of loops – EasyHack
dev.blog.documentfoundation.org·6h
⚙Functional Programming
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·5h
⚙Functional Programming
Fenwick layout for interval trees
purplesyringa.moe·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·8h·
Discuss: Hacker News
🤝Protocol Design
We’ve Been Measuring AI Reasoning All Wrong. Here’s How to Fix It.
pub.towardsai.net·3h
🧭SMT Solvers
Depth-Bounded Epistemic Planning
arxiv.org·17h
🔢Mathematical Logic
Accelerated Game of Life with CUDA / Triton
boristhebrave.com·23m·
Discuss: Hacker News
🏗Computer Architecture
CONGRATULATIONS TO PROFESSOR VICTOR DE LA PENA’S FOUNDATIONAL WORK AS MOST-READ IN THE ANNALS OF PROBABILITY
stat.columbia.edu·7h
🎲Probabilistic Programming
Hash Collision Probabilities
preshing.com·3h·
Discuss: Hacker News
🎲Probabilistic Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·18h·
Discuss: Hacker News
🧮Programming Language Theory